661. Verification of Sequential and Concurrent Programs
پدیدآورنده: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
662. Verification techniques for system-level design /
پدیدآورنده: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
663. Verifying Concurrent Processes Using Temporal Logic
پدیدآورنده: by Brent T. Hailpern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
664. Web Services and Formal Methods :
پدیدآورنده: edited by Maurice H. Beek, Niels Lohmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
665. Web and wireless geographical information systems :
پدیدآورنده: Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
666. Web services foundations /
پدیدآورنده: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
رده :
TK5105
.
88813
